Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é unary predicate - definição
PREDICATE THAT TAKES ONLY INDIVIDUAL(S) CONSTANTS OR VARIABLES AS ARGUMENT(S)
One-place predicate; Two-place predicate
Unary function
FUNCTION THAT TAKES ONE ARGUMENT. IN COMPUTER SCIENCE, A UNARY OPERATOR IS A SUBSET OF UNARY FUNCTION
Unary functions
A unary function is a function that takes one argument. A unary operator belongs to a subset of unary functions, in that its range coincides with its domain.
unary
WIKIMEDIA DISAMBIGUATION PAGE
Unary (disambiguation); 1-ary
1. <programming> (or "monadic") A description of a
function or operator which takes one argument, e.g. the
unary minus operator which negates its argument. The term is
part of the same sequence as nullary and binary.
2. <data, humour> Base one. A number base with only one
digit, namely zero, and which can therefore only be used to
express the number zero. Attempting to add one to zero
results in an infinite sequence of carries. Numbers in unary
notation can be represented particularly efficiently however
since each digit requires no storage.
(2001-02-25)
Predicate (mathematical logic)
CONCEPT OF MATHEMATICAL LOGIC
Logical predicate; Mathematical statement; Predicate (mathematics); Predicate (computer programming); Predication (computer programming); Predicate (logic); Boolean predicates
In logic, a predicate is a symbol which represents a property or a relation. For instance, in the first order formula P(a), the symbol P is a predicate which applies to the individual constant a.
Wikipédia
First-order predicate
In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.
This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
